Godiva (GOal-DIrected JaVA) is an extension to the Java programming language supporting goal-directed evaluation of expressions.